# -*- mode: snippet -*-
# name: Unset Default Proof Mode
# --
Unset Default Proof Mode
